Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
831	A Unified Proof System for QBF Preprocessing? Marijn J.H. Heule1 , Martina Seidl2 , and Armin Biere2 1 Department of Computer Science, The University of Texas at Austin, USA [removed] Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-07-31 09:57:45 Automated theorem proving Boolean algebra Mathematical logic Resolution True quantified Boolean formula Conjunctive normal form Limit Literal Model theory Mathematics Logic Theoretical computer science
832	Proof-Theoretic Validity∗ Stephen Read University of St Andrews email: [removed] April 16, 2012 Add to Reading List Source URL: www.st-andrews.ac.uk Language: English - Date: 2012-04-16 08:12:57 Propositional calculus Philosophical logic Deduction Natural deduction Sequent calculus Cut-elimination theorem Sequent Entailment Inference Logic Proof theory Logical consequence
833	Microsoft Word - TestingSemanticTranscript.doc Add to Reading List Source URL: mariannetalbotdotcom.files.wordpress.com Language: English - Date: 2014-08-27 04:42:11 Proof theory Philosophical logic Semantics Binary operations Sequent Truth table Truth Entailment Interpretation Logic Mathematical logic Propositional calculus
834	Microsoft Word - FormalisingArgumentsTranscript.doc Add to Reading List Source URL: mariannetalbotdotcom.files.wordpress.com Language: English - Date: 2014-08-27 04:42:09 Logical consequence Philosophical logic Deduction Sequent Entailment Argument Interpretation Truth Verb argument Logic Proof theory Propositional calculus
835	Microsoft Word - TestingSyntacticTranscript.doc Add to Reading List Source URL: mariannetalbotdotcom.files.wordpress.com Language: English - Date: 2014-08-27 04:42:12 Boolean algebra Propositional calculus Proof theory Sequent Counterexample Negation Method of analytic tableaux Logic Mathematical logic Mathematics
836	A NEW APPROACH TO STRONG EMBEDDINGS arXiv:0711.0501v3 [math.PR] 1 Jul 2010 SOURAV CHATTERJEE Abstract. We revisit strong approximation theory from a new perspective, culminating in a proof of the Koml´ Add to Reading List Source URL: www-stat.wharton.upenn.edu Language: English - Date: 2013-12-08 15:37:03 Normal distribution Operator theory Central limit theorem Fourier transform Mathematical analysis Statistics Mathematics
837	Phrasal Feature API Tutorial Spence Green[removed]June 2013 Introduction The Phrasal feature API supports rich feature templates. For most of the last decade “rich features” and “machine translation” seldom appeare Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2014-01-02 12:38:32 Hypergraph Graph Inference Derivation Sequent Logic Mathematics Proof theory
838	52 . Chapter 4 Some New Classes of Analytic functions involving Add to Reading List Source URL: prr.hec.gov.pk Language: English - Date: 2011-05-26 02:48:45 Proof theory Transcendental numbers Mathematical analysis Physics Vertex operator algebra Schneider–Lang theorem Constructible universe Mathematics Lie algebras
839	PROOF CHECKING THE RSA PUBLIC KEY ENCRYPTION ALGORITHM1 Robert S. Boyer and J Strother Moore MR Classification Numbers: 03-04, 03B35, 10A25, 68C20, 68G15 The development of mathematics toward greater precision has led, a Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2000-04-02 13:39:24 Number theory Integer sequences Electronic commerce Public-key cryptography RSA Theorem Prime number IP Nqthm Mathematics Logic Modular arithmetic
840	First-Order Strong Progression for Local-Effect Basic Action Theories Add to Reading List Source URL: aaai.org Language: English - Date: 2008-06-18 00:53:43 Golden ratio Mathematics Differential geometry Proof theory Jensen hierarchy Numbers Symbol Constructible universe

UPDATE